Représentations irréductibles de certaines algèbres d'opérateurs différentiels
نویسندگان
چکیده
منابع مشابه
Préquantification De Certaines Variétés De Poisson
A surjective submersion π : M → B carrying a field of simplectic structures on the fibres is symplectic if this Poisson structure is minimal. A symplectic submersion may be interpreted as a family of mechanical systems depending on a parameter in B. We give some conditions to find a closed form which represent the foliated form σ gluing the symplectic forms on the fibres. This is the first step...
متن کاملEspaces de représentations complètement réductibles
We study some geometric properties of actions on nonpositively curved spaces related to complete reducibility and semisimplicity, focusing on representations of a finitely generated group Γ in the group G of rational points of a reductive group over a local field, acting on the associated space (symmetric space or affine building). We prove that the space of completely reducible classes is the ...
متن کاملPlongement de certaines théories homotopiques de Quillen dans les dérivateurs
L’objectif de ce papier est de comparer la 2-catégorie des théories homotopiques de Quillen combinatoires propres à gauche avec une 2-catégorie de dérivateurs de Grothendieck. La 2-catégorie THQcpg des théories homotopiques de Quillen combinatoires propres à gauche est la bi-localisation de la 2-catégorieModQcpg des catégories modèles de Quillen combinatoires propres à gauche relativement aux é...
متن کاملVector partition function and representation theory
We apply some recent developments of Baldoni-Beck-CochetVergne [BBCV05] on vector partition function, to Kostant’s and Steinberg’s formulae, for classical Lie algebras Ar, Br , Cr , Dr . We therefore get efficient Maple programs that compute for these Lie algebras: the multiplicity of a weight in an irreducible finite-dimensional representation; the decomposition coefficients of the tensor prod...
متن کاملAlgèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2010
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2010.06.016